APPIA - GULP - PRODE 20001 Introdu

Appia - Gulp - Prode

Source-to-Source Transformation for a Class of Expressive Rules

Modular Abstract Diagnosis

Modular abstract diagnosis shows that the abstract diagnosis method [5] does not need to be extended to perform the diagnosis in a modular way. We can verify and debug incomplete programs, once we have the specifications for the missing program components.

Reasoning about Concurrent Actions and Observations

Let OBS be a set of observations, we write OBS to denote its translation into abductive logic programs. OBS consists of a set of logic programming rules P OBS and a set of integrity constraints IC OBS , which are deened as follows:

Appia - Gulp - Prode 20001

In this paper we investigate the relationship between disjunctive logic programming as deened in 9] and a subset of linear logic, namely Andreoli and Pareschi's LO 2]. We analyze the two languages both from a top-down, operational perspective, and from a bottom-up, semantical one. From a proof-theoretical perspective, we show that, modulo a simple mapping between classical and linear connective...